The relational model is injective for Multiplicative Exponential Linear Logic (without weakenings)