No Dealing Desk Brokers: Mathematical Analysis of Trade Execution Models