Hanes–Woolf-yhtälö