Low-energy effective field theory below the electroweak scale: operators and matching