Proba-3: Functional Design and Architecture of an Autonomous Sub-Millimetre Formation Flying Mission