Upper bound on the packing density of regular tetrahedra and octahedra