Magnetic proximity effect at the three-dimensional topological insulator/magnetic insulator interface