Amazing Spiderman actor Tom Holland shares his thoughts on Robert Downey Jr