'Doom' at 20 — a staggeringly dull movie that really should have been left buried on Mars