British AI startup ManticAI outperforms humans in forecasting contest