Electronic-structure theory of crystalline insulators under a homogeneous electric field