Soundness and completeness of the Birkhoff equational calculus for many-sorted algebras with possibly empty carrier sets