Sedimentary petrology origin mining door Stienstra