Reporting on patient and public involvement (PPI) in research publications: using the GRIPP2 checklists with lay co-researchers