Redmi annuncia ufficialmente Note 9 Pro e Note 9 Pro Max