PHP Quicksort