Top FOIA officials pursue automation tools amid unprecedented surge in records requests