Diamond rotary coring from an ROV or submersible for hardrock sample recovery and instrument deployment: The MBARI multiple-barrel rock coring system