Theoretical insights into catalysis by phosphonoacetaldehyde hydrolase