switch() in PHP has loose comparsion