Gale Crater: Formation and post-impact hydrous environments