Non-translation invariant Gibbs states with coexisting phases. I: Existence of sharp interface for Widom-Rowlinson type lattice models in three dimensions