Real-time prediction markets — an interesting infra/algo problem nobody's solved yet