Revenue from contracts with customers - Future Estimated Deferred License Revenue (Details) - Deferred license revenue $ in Thousands	Sep. 30, 2019 USD ($)
2019, nine months remaining	$ 48
2020	191
2021	191
2022	166
2023	135
Thereafter	411
Total future estimated deferred license revenue	$ 1,142