Detect if client's browser is a desktop or mobile device using PHP $_SERVER['HTTP_USER_AGENT']