Lazy caterer jigsaw puzzles: Models, properties, and a mechanical system-based solver