rock types and their use in construction