Theoretical study of disorder and proximity effects in three-dimensional models of topological insulators