Xiaomi announces the budget-friendly Redmi A1 and Redmi A1 Plus smartphones