How to use theatre to involve the public in decisions about research and innovation policy