How Edward Snowden’s encrypted insurance file might work