State news agency: 20 soldiers dead in attack on checkpoint in eastern Yemen