what are the dimensions of the capitol building in washington dc