Redmi Note 7 Pro gets hefty update, focusing on camera improvements