type of sandstone used in construction of