On the Edgeworth conjecture for production economies with public goods: A contract-based approach