2-Layer k-Planar Graphs: Density, Crossing Lemma, Relationships, and Pathwidth