Mathematical modelling of gas-solid reactions with solid product