Peter Neumann and Marc Lackenby awarded LMS Prizes