West Virginia leaders reach deal to end teachers’ strike