einstein-dirac-maxwell theory