Towards Augmented Reality manuals for Industry 4.0: a methodology