An Empirical Analysis of Price and Time Priority and Pro Rata Trade Execution Algorithms in Screen-Traded Markets