Should encryption backdoors for police be mandatory?