Formation of black holes for Einstein equations with a positive cosmological constant