What are the main AI technologies used in algorithmic trading and how do they help in developing better trading strategies? Can you give examples of successful application of machine learning to increase profits in trading?