The environmental effects of very large bolide impacts on early Mars explored with a hierarchy of numerical models