European encrypted messaging system (EncroChat) was hacked by police