Sharp Hardy inequalities in the half space with trace remainder term