Modeling coal pyrolysis in a cocurrent downer reactor