Austin ISD proposes larger class sizes, cuts to teacher planning time