Baryon chiral perturbation theory with virtual photons and leptons