Selling spectrum in the presence of shared networks: The case of the Israeli 5G auction. (March 2023)