Leed theory for incommensurate overlayers: Application to graphite on Pt(111)