Hodge theory in the Sobolev topology for the de Rham complex on a smoothly bounded domain in Euclidean space