AutoEFT: Automated Operator Construction for Effective Field Theories