Xiaomi Redmi 3S launching in India on August 3