Redmi K20 officially arriving in India on July 15