Peter Lee (informàtic teòric)