红海是怎样形成的