Low-energy effective field theory below the electroweak scale: matching at one loop