Roof planes detection via a second-order variational model