那么大的环形山是怎么形成的?