Mega undersea mines are the ultimate mining facilities.