infix to postfix(php version)