Theoretical cluster model studies of bimetallic heterogeneous catalysis: dissociation of hydrogen on pure and rhenium-doped Pt(1,0,0)