when company announced to give update to redmi 4a