Mathematical modeling coal conversion proc door Brem