A hairy crab that was dubbed "The Hoff" when it was first found in Antarctic waters has now been given a formal scientific description and name.