[php] How to get a variable name as a string in PHP?