Gravar-mail: ATP hydrolysis by UPF1 is required for efficient translation termination at premature stop codons