Second-order analysis and numerical approximation for bang-bang bilinear control problems