What does IBM require to verify a customer’s environment before installation of an enterprise tape library?