injective dimension