The ‘leap second’ could disappear. How a minor time adjustment became a major problem