Washington National Opera presents Bernstein's West Side Story (semi-staged)