红海面积是由什么板块和什么板块拉伸的结果