Ohio finds $1B in higher ed savings