Washington and Lee faculty vote to change the university’s name