Mathematical analysis of TAP models for porous catalysts