The GIFT Box: tools and ways of working to help museums make richer digital experiences for their visitors