What reasonably competent PDF-reader applications are not competent enough be Turing-complete?