Extraction of building stone