The body of a teenager has been recovered from a lake in Nottinghamshire after reports of a 16-year-old boy getting into difficulty while swimming.