Mayor Tom Barrett details $1.7 billion Milwaukee executive budget