A simplicial algorithm for computing proper Nash equilibria of finite games