when gas planets are formed