Local libraries face big digital costs on shrinking budgets