Regularity of mappings of finite distortion