KAPLA: Pragmatic Representation and Fast Solving of Scalable NN Accelerator Dataflow