No Dealing Desk Brokerleri: İşlem Yürütme Modellerinin Matematiksel Analizi