Ditto: Scaling Instruction-Based Video Editing with a High-Quality Synthetic Dataset