Petrologia węgli