Dallas Opera’s “Boris Godunov”