Basalts and serpentinite from the Puerto Rico Trench, 1. Petrology