Nokia to release Lumia 830 as a follow-up to the 710?