Flagship Redmi K40 announced, likely global launch under Poco brand