First-principles study of the OH-stretching modes of gibbsite