quicksort implementation in PHP