Summer library time keeps young minds sharp