Hypothetical AlF3 crystal structures