FBI couldn’t access nearly 7K devices because of encryption