What happens to a damages award for patent infringement when the patent is later revoked or amended?