Density and Positive Mass Theorems for Initial Data Sets with Boundary