what is an underground quarry used for