Laurion Capital Management, LP