Ofcom proposes 6GHz band sharing for Wi-Fi and mobile