Robotic ocean vehicles for marine science applications: the European ASIMOV project