A model for a countercurrent gas−solid−solid trickle flow reactor for equilibrium reactions. The methanol synthesis