Everyone else is shrinking satellites. K2 raised $500m to build giant ones, and put AI in orbit.