A Polynomial Time Approximation Scheme for Inferring Evolutionary Trees from Quartet Topologies and Its Application