Analysis of PHP's arrays - are they hash tables or not?