Is Ubuntu's disk utility encryption very secure? If so, what kind of algorithm runs it? Does anyone have documentation about it or know where I can find it?