County Championship: Leaders Nottinghamshire lose by an innings to Lancashire