Xiaomi Redmi 5 launched in India, pricing starts at Rs. 7999