Petrologia i sedymentologia węgla