tipos de minería de arenisca