Professional Automated Trading: Theory and Practice