An electronic futures exchange