Automated one-loop computations in the standard model effective field theory