Self-avoiding walk enumeration via the lace expansion