Is mycelium different than mushrooms?