Formalismus bez formalistů? Empirická analýza 300.000 rozhodnutí českých soudů