PHP function to convert a regular Steam ID to a Steam Community URL