Michael Tanner and Chris Edwards on downsizing the federal government