Generalized Jacobi Identities and Ball-Box Theorem for Horizontally Regular Vector Fields