Weighted Envy-Freeness for Submodular Valuations