A Polynomial Planning Algorithm That Beats LAMA and FF