Super simple sorting of arrays in PHP