On injective envelopes of Banach spaces