小程序正式上线时间是多久