What is the difference between verification and validation in software testing?