“Can this laptop be charged through the Thunderbolt port? If not, what kind of extra charger should I buy?”