Peter Lax obituary: mathematician who pioneered computer-based solutions to real-world problems · Nature