Xiaomi Redmi X to launch on February 15?