Flexible job shop scheduling using zero-suppressed binary decision diagrams