City auditor: Ex-employee at Austin library stole $1.3 million in printer toner