Recognizing Leveled-Planar Dags in Linear Time