definicion cantera de piedra a cielo abierto