From the Hubbard model to a systematic low-energy effective field theory for magnons and holes in an antiferromagnet