what plate boundary is the himalayan mountains