Neutrinoless double- β decay in effective field theory: The light-Majorana neutrino-exchange mechanism