Microsoft considered acquiring Cursor before SpaceX deal