Xiaomi Redmi 5A launched in China: Specs, price and more