Time-varying synchronization of European stock markets