Xiaomi Mi 10 and Mi 10 Pro: Release date, specs and details