Random projections of regular polytopes and neighborliness