Nonoverlapping Convex Polytopes with Vertices in a Boolean Cube and Other Problems in Coding Theory