A mathematical model for moving bed coal gasification reactor