Large-Eddy Simulations of Vertical Vortex Formation in the Terrestrial and Martian Convective Boundary Layers