CFTC proposes first formal prediction market rules