Density and positive mass theorems for initial data sets with boundary