Pragma launches new benchmark to help traders measure execution quality and identify trading signals