Xiaomi Sound Pro and Xiaomi Router 10000 announced