Tools for generating random numbers from various distributions in php