5,000 deep-sea animals new to science turned up in ocean records