Biden's budget highlights interest in spectrum sharing for 5