What happens next after Mayor Johnson's budget proposal?