Span-Based Constituency Parsing with a Structure-Label System and Provably Optimal Dynamic Oracles