Operando neutron radiography validates a parameter-free transport–kinetics model for thick solid-state battery cathodes