Quantum field theory of dilute homogeneous Bose-Fermi mixtures at zero temperature: General formalism and beyond mean-field corrections